🇬🇧 en de 🇩🇪

total order noun

  • (set theory, order theory) A partial order, ≤, (a binary relation that is reflexive, antisymmetric, and transitive) on some set S, such that any two elements of S are comparable (for any x, y ∈ S, either x ≤ y or y ≤ x).
 Totalordnung, totale Ordnung
Wiktionary Links